A P-Lingua based simulator for tissue P systems
نویسندگان
چکیده
منابع مشابه
A P-Lingua based simulator for tissue P systems
Tissue P systems are one of the currently active research topics within the field of Membrane Computing. In particular, their computational efficiency is being investigated in the case when the number of cells can grow by means of cell separation rules. In order to complement this study, it is useful to provide simulation software tools for this variant of tissue P systems. The paper presents a...
متن کاملSimulator of P-Systems with String Replication Developed in Framework of P-Lingua 2.1
In this paper we present beta version of simulator for Psystems with string replication rules. This simulator is developed according to P-Lingua ideology and principles of the P-Lingua 2.1 development environment. Format for presentation of rules with replications in P-Lingua language is proposed. The already known solutions by means of P-systems with string replication for two problems are use...
متن کاملModel Checking Based Test Generation from P Systems Using P-Lingua
This paper presents an approach for P system testing, that uses model-checking for automatic test generation and P-Lingua as specification language. This approach is based on a transformation of the transitional, nondeterministic, cell-like P system into a Kripke structure, which is further used for test generation, by adding convenient temporal logic specifications. This paper extends our prev...
متن کاملA Microcomputer-Based Simulator for Digital Control Systems
A microcomputer-based simulator for digital control systems is proposed. The proposed simulator is a hybrid system in which the plant is simulated by conventional method of analog computers and other parts of the system including generation of input signal is performed digitally, using a Z-80 based microcomputer. To overcome the difficulty of programming in assembly language, and at the same ti...
متن کاملA Web-Based P Systems Simulator and Its Parallelization
In this paper we present WebPS, an open-source web-enabled simulator for P systems, and a P accelerator for parallelization of the existing sequential simulators. The simulator is based on CLIPS, and it is already available as a web application. The P accelerator is used to parallelize the existing sequential simulators of the P systems. We exemplify this tool by using a simple CLIPS simulator....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2010
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2010.03.009